Гельфанда - Наймарка の定理